81. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
پدیدآورنده : edited by Austin Melton
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
239
82. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده : M. Main...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
83. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
84. Mathematical foundations of programming semantics :
پدیدآورنده : M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
85. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
پدیدآورنده : edited by Austin Melton
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
239
86. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
پدیدآورنده : S. Brookes...]et al.[, eds
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
802
87. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
پدیدآورنده : S. Brookes...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
598
88. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده : M. Main...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
89. MetaSoft Primer
پدیدآورنده : \ Andrzej Blikle.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Metalanguage,فرازبان,a02,a02,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامه‌نویسی کامپیوتر -- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
90. MetaSoft primer :
پدیدآورنده : Andrzej Blikle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
.
B57
1987
91. MetaSoft primer : towards a metalanguage for applied denotational semantics
پدیدآورنده : Blikle, Andrzej
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
288
92. Natural language at the computer: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
N38
.
S38
1988
93. Natural language understanding
پدیدآورنده : Allen, James, James Allen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Semantics ، Programming languages )Electronic computers(,، Language and logic,، Artificial intelligence
رده :
QA
76
.
7
.
A44
N3
94. Natural language understanding
پدیدآورنده : Allen, James
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence
رده :
QA
76
.
7
.
A44
1987
95. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
96. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
97. Natural language understanding and logic programming, II
پدیدآورنده : / edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
98. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
99. Ordinateurs, Programmation , et langues naturelles
پدیدآورنده : / Par Jacques Andr`e et Catherine Fuchs,Andre
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Electronic digital computers -- Programming,Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
6
.
A5
100. Practical aspects of declarative languages
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;
